<html>
<head><meta charset="utf-8"><title>racy-read / volatile / untrusted memory / freeze · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html">racy-read / volatile / untrusted memory / freeze</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="177724319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177724319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177724319">(Oct 09 2019 at 15:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> seems like since we talked about this just last week, another thread was opened related to this group of topics that keep coming up here. we don't have a dedicated tag for them yet as I am not sure what a good term would be; I am talking about a subset of <a href="https://github.com/rust-lang/unsafe-code-guidelines/labels/T-memory" target="_blank" title="https://github.com/rust-lang/unsafe-code-guidelines/labels/T-memory">https://github.com/rust-lang/unsafe-code-guidelines/labels/T-memory</a>. specifically:</p>
<ul>
<li><a href="https://github.com/rust-lang/unsafe-code-guidelines/issues/33" target="_blank" title="https://github.com/rust-lang/unsafe-code-guidelines/issues/33">https://github.com/rust-lang/unsafe-code-guidelines/issues/33</a></li>
<li><a href="https://github.com/rust-lang/unsafe-code-guidelines/issues/152" target="_blank" title="https://github.com/rust-lang/unsafe-code-guidelines/issues/152">https://github.com/rust-lang/unsafe-code-guidelines/issues/152</a></li>
<li><a href="https://github.com/rust-lang/unsafe-code-guidelines/issues/209" target="_blank" title="https://github.com/rust-lang/unsafe-code-guidelines/issues/209">https://github.com/rust-lang/unsafe-code-guidelines/issues/209</a></li>
</ul>



<a name="177724412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177724412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177724412">(Oct 09 2019 at 15:22)</a>:</h4>
<p>we have plenty of discussion on those, so much that we cannot expect anyone to read all of it. so what we need is a good summary, ideally one we can even get UCG consensus on (so not just one more of my WIP documents)</p>



<a name="177724445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177724445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177724445">(Oct 09 2019 at 15:22)</a>:</h4>
<p>I'd love to work on that but I have zero time that I can commit here right now, I'm afraid</p>



<a name="177724472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177724472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177724472">(Oct 09 2019 at 15:22)</a>:</h4>
<p>but we can at least maybe make this our next official "topic of discussion" or so? Cc <span class="user-group-mention" data-user-group-id="810">@WG-unsafe-code-guidelines</span></p>



<a name="177724501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177724501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177724501">(Oct 09 2019 at 15:23)</a>:</h4>
<p>we still have a lot of write-up to do though for validity invariants</p>



<a name="177947788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177947788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177947788">(Oct 11 2019 at 20:47)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> that's a good idea</p>



<a name="177947880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177947880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177947880">(Oct 11 2019 at 20:48)</a>:</h4>
<p>I'm not sure how much time I have either</p>



<a name="177947882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177947882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177947882">(Oct 11 2019 at 20:48)</a>:</h4>
<p>well I know how much</p>



<a name="177947896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177947896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177947896">(Oct 11 2019 at 20:48)</a>:</h4>
<p>but I do think it's a good topic and a place we could get consensus</p>



<a name="177950179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177950179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177950179">(Oct 11 2019 at 21:15)</a>:</h4>
<p>for the write-up part, is the knowledge just scattered, or in-heads-only? i.e., can someone help out with that "easily" in some sense?</p>



<a name="177989945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read%20/%20volatile%20/%20untrusted%20memory%20/%20freeze/near/177989945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/racy-read.20.2F.20volatile.20.2F.20untrusted.20memory.20.2F.20freeze.html#177989945">(Oct 12 2019 at 14:00)</a>:</h4>
<p>for validity most of the knowledge is in the issues: <a href="https://github.com/rust-lang/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3AT-validity" target="_blank" title="https://github.com/rust-lang/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3AT-validity">https://github.com/rust-lang/unsafe-code-guidelines/issues?q=is%3Aissue+is%3Aopen+label%3AT-validity</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>